_require local "../../../../basis.smi"
_require local "../../../../ffi/main/Pointer.smi"

_require local "../../../libs/env/main/SEnv.smi"
_require local "../../../libs/env/main/IEnv.smi"
_require local "../../../libs/ids/main/LocalID.smi"
_require local "../../../data/symbols/main/RecordLabel.smi"
_require local "../../../data/symbols/main/Loc.smi"
(* _require local "../../../data/control/main/Control.smi" *)

_require local "../../userlevelprimitive/main/UserLevelPrimitive.smi"
_require local "../../debug/main/Bug.smi"

(* _require local "./ReifiedTyData.smi" *)
(* _require local "./ReifyUtils.smi" *)
_require "./ReifiedTy.ppg.smi"
_require "./ReifiedTerm.ppg.smi"
_require local "./ReifiedTermToML.smi"

structure ReifyTerm =
struct
  val toReifiedTerm : ['a#reify.'a -> ReifiedTerm.reifiedTerm]
  val toReifiedTermPrint : ['a#reify.int -> 'a -> ReifiedTerm.reifiedTerm]
end
